FONCTIONNELLES CALCULABLES EN SERIE ET EN PARALLELESAZONOV V YU.1976; SIBIR. MAT. ZH.; S.S.S.R.; DA. 1976; VOL. 17; NO 3; PP. 648-672; BIBL. 12 REF.Article

ON EXISTENCE OF COMPLETE PREDICATE CALCULUS IN METAMATHEMATICS WITHOUT EXPONENTIATIONSAZONOV V YU.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 483-490; BIBL. 4 REF.Conference Paper

Hereditarily-finite sets, data bases and polynomial-time computabilitySAZONOV, V. YU.Theoretical computer science. 1993, Vol 119, Num 1, pp 187-214, issn 0304-3975Conference Paper